﻿<?xml version="1.0" encoding="utf-8"?><HelpTOCNode Title="SequenceProof Constructor " Url="html/075cf541-a875-3a8e-37a1-536dfa3f04b8.htm"><HelpTOCNode Title="SequenceProof Constructor " Url="html/967fa3cf-56db-ed08-e87d-67603cd45414.htm" /><HelpTOCNode Title="SequenceProof Constructor (IDocument[])" Url="html/d8331bd0-8e36-abb9-ee4b-a1647abc1845.htm" /></HelpTOCNode>